Verisity Increases Support for Open Standards; New Interface Adds Support for External Assertions
MOUNTAIN VIEW, Calif.--(BUSINESS WIRE)--June 2, 2003--Verisity
Ltd. (Nasdaq:VRST), the leading supplier of essential technology and
methodology for functional verification, today announced that in order
to better support system-level design flows, Verisity supports a wide
variety of open standards through the Specman Elite(R) testbench
automation solution, including OVL, PSL/Sugar and SystemC. Verisity
will support PSL/Sugar as an assertion language and SystemC as a
design language. In addition, Verisity also announced a new Coverage
and Assertion Interface (CAI) that allows users to import external
coverage metrics and assertions into Specman Elite for coverage and
error analysis. This enables verification engineers to use a variety
of coverage metrics, such as functional, assertion, code and formal
coverage, in order to drive their verification methodology (see
related releases "Verisity and 0-In Collaborate for Integrated
Testbench and Assertion Coverage Metrics," dated June 2, 2003 and
"CoWare and Verisity Collaborate to Deliver Integrated SystemC Flow
for System-level Verification," dated June 2, 2003).
In related news, Verisity also announced today that Verisity's e
verification language has been approved by the IEEE Design Automation
Standards Committee (DASC) as a basis for standardization (see related
release, "IEEE's DASC Approves Verisity's e Verification Language as
Basis for Standardization Project," dated June 2, 2003).
"Verisity has always strived to provide our customers with the
most interoperable solutions including support for multiple design and
assertion languages," said Moshe Gavrielov, chief executive officer
for Verisity. "By supporting these additional languages, we are
enabling verification engineers to choose from a variety of
best-in-class technologies and methodologies. Particularly at the
system level, a variety of languages and best-in-class tools must come
together to verify today's complex designs."
"We see a great need for our joint customers to have an integrated
view of all of their coverage metrics," said Emil Girczyc, president
and chief executive officer for 0-In. "Our integration of
CheckerWare's assertion checkers and monitors into Specman Elite's
functional coverage metrics enables customers to combine two
best-in-class tools for a complete coverage-driven methodology."
"It's critical for engineers to have a common infrastructure for
both design and verification," said Alan Naumann, President and chief
executive officer for CoWare. "Verisity's support for SystemC enables
us to provide a tight interface between CoWare's ConvergenSC and
Specman Elite, thereby giving our joint customers a top-notch solution
for design and verification at the system level."
Coverage and Assertion Interface
Specman Elite's new Coverage and Assertion Interface (CAI) is an
open interface that enables 3rd party developers to import results of
heterogeneous coverage metrics and error analysis into Specman Elite
for a global view of verification progress and advanced debugging
capabilities. Examples of coverage metrics include: code, assertion,
structural and formal coverage.
Several benefits are achieved by having a central view of all
coverage metrics. Amongst these is the ability to grade test suites
and create regression tests that maximize total coverage, and cross
coverage between coverage types. Cross coverage enables identification
of holes in verification that would be extremely difficult to identify
using separate coverage technologies in isolation. In addition, debug
capabilities are significantly improved when error messages from
simulators, assertions and the testbench are similarly available in a
single analysis environment.
About Verisity
Verisity, Ltd. (Nasdaq:VRST), is the leading supplier of essential
technology and methodology for the functional verification market. The
company addresses customers' critical business issues with its
market-leading software and intellectual property (IP) that
effectively and efficiently verify the design of electronic systems
and complex integrated circuits for the communications, computing, and
consumer electronics global markets. Verisity's Specman Elite(R)
testbench automation solution automates manual processes and detects
critical flaws in hardware designs enabling delivery of the highest
quality products and accelerating time to market. The company's strong
market presence is driven by its proven technology, methodology, and
solid strategic partnerships and programs. Verisity's customer list
includes leading companies in all strategic technology sectors.
Verisity is a global organization with offices throughout Asia,
Europe, and North America. Verisity's principal executive offices are
located in Mountain View, California, with its principal research and
development offices located in Rosh Ha'ain, Israel. For more
information, visit www.verisity.com.
Note to Editors: Verisity, the Verisity logo and Specman Elite are
either registered trademarks or trademarks of Verisity Design, Inc. in
the United States and/or other jurisdictions. All other trademarks are
the property of their respective holders.
CONTACT: Verisity Design, Inc.
Jennifer Bilsey, 650/934-6823
jen@verisity.com
